Synthesis of a Family of RecursiveSorting
نویسندگان
چکیده
In an earlier paper, we described a method for synthesising recursive logic procedures from their rst-order logic speciications. The method is practical because it is strictly top-down and has been implemented as part of a user-guided synthesis system in Prolog. We have used the system to synthe-sise procedures for a wide variety of algorithms, including a large family of recursive sorting procedures. In this paper we describe the synthesis of this family of procedures.
منابع مشابه
SYNTHESIS OF A SPECIAL TYPE OF ZEOLITE FROM ANALCIME FAMILY WITH TRIETHANOLAMINE AND ITS CHARACTERIZATION WITH XRD, FTIR AND SEM
A type of zeolite from the analcime family was prepared by using triethanolamine, silica gel and sodium aluminate. The average particle size was around 24 µm. FTIR, XRD and SEM results approved the type of zeolite which was formed
متن کاملA meta- synthesis of suicide studies in Iran
Introduction: Due to the high frequency of suicide statistics and its growing trend, studies have been conducted on this phenomenon since the 1370s, but studies on a common question have often yielded inconsistent results. The purpose of this study is to synthesis of the findings of qualitative researches on suicide in Iran in order to obtain integrated results from their findings to investigat...
متن کاملA meta- synthesis of suicide studies in Iran
Introduction: Due to the high frequency of suicide statistics and its growing trend, studies have been conducted on this phenomenon since the 1370s, but studies on a common question have often yielded inconsistent results. The purpose of this study is to synthesis of the findings of qualitative researches on suicide in Iran in order to obtain integrated results from their findings to investigat...
متن کاملStudy on the Effect of Rainfall Level on the Size of Silver Nanoparticles Synthesized by Plants of the Lamiaceae Family in Different Regions of Iran
Nanotechnology could be a very important field of recent research dealing with medical, industrial, environment. Silver nanoparticles are the topics of researchers because of their distinctive properties (size, shape depending optical, antimicrobial, and electrical properties). The synthesis of safe nanoparticles by biological organisms is recommended due to the environmental friendliness and l...
متن کاملSynthesis and Seeding Time Effect on the Performance of Nanostructure Sodalite Membranes
> Secondary growth technique was successfully applied for the synthesis of nanostructure sodalite membranes with vacuum seeding ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1991